Sui, Yulei : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (62)
Les plus populaires
Liste
- Liste
- Tableau

1

[IEEE 2012 41st International Conference on Parallel Processing (ICPP) - Pittsburgh, PA, USA (2012.09.10-2012.09.13)] 2012 41st International Conference on Parallel Processing - Automatic Parallelization of Tiled Loop Nests with Enhanced Fine-Grained Parallelism on GPUs

Di, Peng, Ye, Ding, Su, Yu, Sui, Yulei, Xue, Jingling

Année:

2012

Langue:

english

Fichier:

PDF, 290 KB

english, 2012

2

Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions

Sui, Yulei, Ye, Ding, Su, Yu, Xue, Jingling

Journal:

IEEE Transactions on Reliability

Année:

2016

Langue:

english

Fichier:

PDF, 2.46 MB

english, 2016

3

Making context-sensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation

Sui, Yulei, Ye, Sen, Xue, Jingling, Zhang, Jie

Journal:

Software: Practice and Experience

Année:

2014

Fichier:

PDF, 1.07 MB

2014

4

[ACM Press the 2016 International Symposium - Barcelona, Spain (2016.03.12-2016.03.18)] Proceedings of the 2016 International Symposium on Code Generation and Optimization - CGO 2016 - Sparse flow-sensitive pointer analysis for multithreaded programs

Sui, Yulei, Di, Peng, Xue, Jingling

Année:

2016

Langue:

english

Fichier:

PDF, 571 KB

english, 2016

5

[IEEE 2015 44th International Conference on Parallel Processing (ICPP) - Beijing, China (2015.9.1-2015.9.4)] 2015 44th International Conference on Parallel Processing - Region-Based May-Happen-in-Parallel Analysis for C Programs

Di, Peng, Sui, Yulei, Ye, Ding, Xue, Jingling

Année:

2015

Langue:

english

Fichier:

PDF, 725 KB

english, 2015

6

[ACM Press the 2016 24th ACM SIGSOFT International Symposium - Seattle, WA, USA (2016.11.13-2016.11.18)] Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 - On-demand strong update analysis via value-flow refinement

Sui, Yulei, Xue, Jingling

Année:

2016

Langue:

english

Fichier:

PDF, 1.26 MB

english, 2016

7

A novel process for preparation of titanium dioxide from Ti-bearing electric furnace slag: NH 4 HF 2 -HF leaching and hydrolyzing process

Zheng, Fuqiang, Guo, Yufeng, Qiu, Guanzhou, Chen, Feng, Wang, Shuai, Sui, Yulei, Jiang, Tao, Yang, Lingzhi

Journal:

Journal of Hazardous Materials

Année:

2017

Langue:

english

Fichier:

PDF, 1.06 MB

english, 2017

8

[ACM Press the 25th International Conference - Barcelona, Spain (2016.03.17-2016.03.18)] Proceedings of the 25th International Conference on Compiler Construction - CC 2016 - SVF: interprocedural static value-flow analysis in LLVM

Sui, Yulei, Xue, Jingling

Année:

2016

Langue:

english

Fichier:

PDF, 226 KB

english, 2016

9

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings - ICSE '18 - Live path control flow integrity

Barbar, Mohamad, Sui, Yulei, Zhang, Hongyu, Chen, Shiping, Xue, Jingling

Année:

2018

Langue:

english

Fichier:

PDF, 165 KB

english, 2018

10

[IEEE 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) - Xi'an, China (2019.4.22-2019.4.27)] 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) - Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android

Wu, Diyu, Liu, Jie, Sui, Yulei, Chen, Shiping, Xue, Jingling

Année:

2019

Langue:

english

Fichier:

PDF, 300 KB

english, 2019

11

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences

Xu, Xuezheng, Sui, Yulei, Yan, Hua, Xue, Jingling

Année:

2019

Langue:

english

Fichier:

PDF, 586 KB

english, 2019

12

[IEEE 2019 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Cleveland, OH, USA (2019.9.29-2019.10.4)] 2019 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Interactive Traceability Links Visualization using Hierarchical Trace Map

Aung, Thazin Win Win, Huo, Huan, Sui, Yulei

Année:

2019

Langue:

english

Fichier:

PDF, 1.63 MB

english, 2019

13

[IEEE 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE) - Berlin, Germany (2019.10.28-2019.10.31)] 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE) - TCD: Statically Detecting Type Confusion Errors in C++ Programs

Zou, Changwei, Sui, Yulei, Yan, Hua, Xue, Jingling

Année:

2019

Langue:

english

Fichier:

PDF, 183 KB

english, 2019

14

Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis

Sui, Yulei, Ye, Ding, Xue, Jingling

Journal:

IEEE Transactions on Software Engineering

Année:

2014

Langue:

english

Fichier:

PDF, 3.18 MB

english, 2014

15

[IEEE 2009 ISECS International Colloquium on Computing, Communication, Control, and Management (CCCM) - Sanya, China (2009.08.8-2009.08.9)] 2009 ISECS International Colloquium on Computing, Communication, Control, and Management - QoS decomposition for dependable service-oriented middleware

Sui, Yulei, Zhou, Xingshe, Yang, Gang

Année:

2009

Langue:

english

Fichier:

PDF, 784 KB

english, 2009

16

[IEEE 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) - Shenzhen (2013.2.23-2013.2.27)] Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) - Query-directed adaptive heap cloning for optimizing compilers

Yulei Sui,, Yue Li,, Jingling Xue,

Année:

2013

Langue:

english

Fichier:

PDF, 1.06 MB

english, 2013

17

[IEEE 2010 2nd International Conference on Information Science and Engineering (ICISE) - Hangzhou, China (2010.12.4-2010.12.6)] The 2nd International Conference on Information Science and Engineering - Trustworthy Service Scheduling Framework for QoS garantee of composite service

Yalei Yang,, Xingshe Zhou,, Gang Yang,, Ben Wang,, Yulei Sui,

Année:

2010

Langue:

english

Fichier:

PDF, 485 KB

english, 2010

18

[ACM Press the 2012 International Symposium - Minneapolis, MN, USA (2012.07.15-2012.07.20)] Proceedings of the 2012 International Symposium on Software Testing and Analysis - ISSTA 2012 - Static memory leak detection using full-sparse value-flow analysis

Sui, Yulei, Ye, Ding, Xue, Jingling

Année:

2012

Langue:

english

Fichier:

PDF, 652 KB

english, 2012

19

Making context-sensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation

Sui, Yulei, Ye, Sen, Xue, Jingling, Zhang, Jie

Journal:

Software: Practice and Experience

Année:

2014

Langue:

english

Fichier:

PDF, 1.07 MB

english, 2014

20

The duplicated paired box protein 7 (pax7) genes differentially transcribed during Japanese flounder (Paralichthys olivaceus) embryogenesis

Jiao, Shuang, Tan, Xungang, Li, Meijie, Sui, Yulei, Du, Shao Jun, You, Feng

Journal:

Comparative Biochemistry and Physiology Part B: Biochemistry and Molecular Biology

Année:

2015

Langue:

english

Fichier:

PDF, 1.71 MB

english, 2015

21

[IEEE 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS) - Melbourne, Australia (2015.12.14-2015.12.17)] 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS) - Contention-Aware Scheduling for Asymmetric Multicore Processors

Fan, Xiaokang, Sui, Yulei, Xue, Jingling

Année:

2015

Langue:

english

Fichier:

PDF, 1.32 MB

english, 2015

22

Conserved elements in the nanos3 3′UTR of olive flounder are responsible for the selective retention of RNA in germ cells

Li, Meijie, Tan, Xungang, Sui, Yulei, Jiao, Shuang, Wu, Zhihao, You, Feng

Journal:

Comparative Biochemistry and Physiology Part B: Biochemistry and Molecular Biology

Année:

2016

Langue:

english

Fichier:

PDF, 459 KB

english, 2016

23

[IEEE 2014 IEEE 25th International Symposium on Software Reliability Engineering (ISSRE) - Naples, Italy (2014.11.3-2014.11.6)] 2014 IEEE 25th International Symposium on Software Reliability Engineering - WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions

Ye, Ding, Su, Yu, Sui, Yulei, Xue, Jingling

Année:

2014

Langue:

english

Fichier:

PDF, 341 KB

english, 2014

24

The stimulatory effect of neuropeptide Y on growth hormone expression, food intake, and growth in olive flounder (Paralichthys olivaceus)

Li, Meijie, Tan, Xungang, Sui, Yulei, Jiao, Shuang, Wu, Zhihao, Wang, Lijuan, You, Feng

Journal:

Fish Physiology and Biochemistry

Année:

2017

Langue:

english

Fichier:

PDF, 830 KB

english, 2017

25

[ACM Press the 31st Annual ACM Symposium - Pisa, Italy (2016.04.04-2016.04.08)] Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16 - Automated memory leak fixing on value-flow slices for C programs

Yan, Hua, Sui, Yulei, Chen, Shiping, Xue, Jingling

Année:

2016

Langue:

english

Fichier:

PDF, 971 KB

english, 2016

26

[ACM Press the 7th International Workshop - Barcelona, Spain (2016.03.12-2016.03.16)] Proceedings of the 7th International Workshop on Programming Models and Applications for Multicores and Manycores - PMAM'16 - Accelerating Dynamic Data Race Detection Using Static Thread Interference Analysis

Di, Peng, Sui, Yulei

Année:

2016

Langue:

english

Fichier:

PDF, 480 KB

english, 2016

27

Characterization ofpax3aandpax3bgenes in artificially induced polyploid and gynogenetic olive flounder (Paralichthys olivaceus) during embryogenesis

Jiao, Shuang, Wu, Zhihao, Tan, Xungang, Sui, Yulei, Wang, Lijuan, You, Feng

Journal:

Fish Physiology and Biochemistry

Année:

2017

Langue:

english

Fichier:

PDF, 1.96 MB

english, 2017

28

Loop-oriented array- and field-sensitive pointer analysis for automatic SIMD vectorization

Sui, Yulei, Fan, XIaokang, Zhou, Hao, Xue, Jingling

Journal:

ACM SIGPLAN Notices

Année:

2016

Langue:

english

Fichier:

PDF, 568 KB

english, 2016

29

AutoFix

Yan, Hua, Sui, Yulei, Chen, Shiping, Xue, Jingling

Journal:

ACM SIGAPP Applied Computing Review

Année:

2017

Langue:

english

Fichier:

PDF, 1.20 MB

english, 2017

30

One-step preparation of Ti 3+ self-doped TiO 2 single crystals with internal-pores and highly exposed {001} facets for improved photocatalytic activity

Sui, Yulei, Liu, Qingxia, Jiang, Tao, Guo, Yufeng

Journal:

Applied Surface Science

Année:

2017

Langue:

english

Fichier:

PDF, 3.53 MB

english, 2017

31

Atomically dispersed Pt on specific TiO 2 facets for photocatalytic H 2 evolution

Sui, Yulei, Liu, Subiao, Li, Tengfei, Liu, Qingxia, Jiang, Tao, Guo, Yufeng, Luo, Jing-Li

Journal:

Journal of Catalysis

Année:

2017

Langue:

english

Fichier:

PDF, 1.82 MB

english, 2017

32

Synthesis of nano-TiO 2 photocatalysts with tunable Fe doping concentration from Ti-bearing tailings

Sui, Yulei, Liu, Qingxia, Jiang, Tao, Guo, Yufeng

Journal:

Applied Surface Science

Année:

2017

Langue:

english

Fichier:

PDF, 1.46 MB

english, 2017

33

[ACM Press the 26th ACM SIGSOFT International Symposium - Santa Barbara, CA, USA (2017.07.10-2017.07.14)] Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017 - Boosting the precision of virtual call integrity protection with partial pointer analysis for C++

Fan, Xiaokang, Sui, Yulei, Liao, Xiangke, Xue, Jingling

Année:

2017

Langue:

english

Fichier:

PDF, 681 KB

english, 2017

34

[ACM Press the 33rd Annual Computer Security Applications Conference - Orlando, FL, USA (2017.12.04-2017.12.08)] Proceedings of the 33rd Annual Computer Security Applications Conference on - ACSAC 2017 - Machine-Learning-Guided Typestate Analysis for Static Use-After-Free Detection

Yan, Hua, Sui, Yulei, Chen, Shiping, Xue, Jingling

Année:

2017

Langue:

english

Fichier:

PDF, 2.03 MB

english, 2017

35

Managing high-performance computing applications as an on-demand service on federated clouds

Hou, Zhengxiong, Wang, Yunlan, Sui, Yulei, Gu, Jianhua, Zhao, Tianhai, Zhou, Xingshe

Journal:

Computers & Electrical Engineering

Année:

2018

Langue:

english

Fichier:

PDF, 1.64 MB

english, 2018

36

Loop-Oriented Pointer Analysis for Automatic SIMD Vectorization

Sui, Yulei, Fan, Xiaokang, Zhou, Hao, Xue, Jingling

Journal:

ACM Transactions on Embedded Computing Systems

Année:

2018

Langue:

english

Fichier:

PDF, 2.95 MB

english, 2018

37

[ACM Press the 26th Conference - Gothenburg, Sweden (2018.05.28-2018.05.29)] Proceedings of the 26th Conference on Program Comprehension - ICPC '18 - CoBOT

Gao, Qing, Zhang, Shikun, Chen, Xianglong, Ma, Sen, Shao, Sihao, Sui, Yulei, Zhao, Guoliang, Ma, Luyao, Ma, Xiao, Duan, Fuyao, Deng, Xiao

Année:

2018

Fichier:

PDF, 968 KB

2018

38

[ACM Press the 26th Conference - Gothenburg, Sweden (2018.05.28-2018.05.29)] Proceedings of the 26th Conference on Program Comprehension - ICPC '18 - CoBOT

Gao, Qing, Zhang, Shikun, Chen, Xianglong, Ma, Sen, Shao, Sihao, Sui, Yulei, Zhao, Guoliang, Ma, Luyao, Ma, Xiao, Duan, Fuyao, Deng, Xiao

Année:

2018

Langue:

english

Fichier:

PDF, 968 KB

english, 2018

39

[IEEE 2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE) - New York, NY, USA (2018.8.1-2018.8.3)] 2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE) - Permission Analysis of Health and Fitness Apps in IoT Programming Frameworks

Nobakht, Mehdi, Sui, Yulei, Seneviratne, Aruna, Hu, Wen

Année:

2018

Langue:

english

Fichier:

PDF, 244 KB

english, 2018

40

Parallel construction of interprocedural memory SSA form

Sui, Yulei, Yan, Hua, Zheng, Zheng, Zhang, Yunpeng, Xue, Jingling

Journal:

Journal of Systems and Software

Année:

2018

Langue:

english

Fichier:

PDF, 2.28 MB

english, 2018

41

Muscle fibre type composition in the lateral muscle of olive flounder Paralichthys olivaceus

Jiao, Shuang, Tan, Xungang, Sui, Yulei, You, Feng

Journal:

Acta Histochemica

Année:

2018

Langue:

english

Fichier:

PDF, 7.89 MB

english, 2018

42

A Modified Extended Kalman Filter for a Two-Antenna GPS/INS Vehicular Navigation System

Hao, Yushi, Xu, Aigong, Sui, Xin, Wang, Yulei

Journal:

Année:

2018

Langue:

english

Fichier:

PDF, 3.05 MB

english, 2018

43

Synthesis and photocatalytic properties of Fe-doped TiO2 nanoparticles with highly exposed (0 0 1) facets from Ti-bearing tailings

Sui, Yulei, Hao, Yueying, Wen, Gongyu, Hu, Yong, Wu, Ling, Zhong, Shengkui

Journal:

Applied Surface Science

Année:

2019

Langue:

english

Fichier:

PDF, 1.53 MB

english, 2019

44

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering - ICSE '18 - Spatio-temporal context reduction

Yan, Hua, Sui, Yulei, Chen, Shiping, Xue, Jingling

Année:

2018

Fichier:

PDF, 666 KB

2018

45

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering - ICSE '18 - Launch-mode-aware context-sensitive activity transition analysis

Zhang, Yifei, Sui, Yulei, Xue, Jingling

Année:

2018

Langue:

english

Fichier:

PDF, 45 KB

english, 2018

46

[ACM Press the 2019 27th ACM Joint Meeting - Tallinn, Estonia (2019.08.26-2019.08.30)] Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2019 - Event trace reduction for effective bug replay of Android apps via differential GUI state analysis

Sui, Yulei, Zhang, Yifei, Zheng, Wei, Zhang, Manqing, Xue, Jingling

Année:

2019

Langue:

english

Fichier:

PDF, 1.19 MB

english, 2019

47

Spray-drying synthesis of P2-Na2/3Fe1/2Mn1/2O2 with improved electrochemical properties

Sui, Yulei, Hao, Yueying, Zhang, Xiaoping, Zhong, Shengkui, Chen, Jiabin, Li, Jiangpeng, Wu, Ling

Journal:

Advanced Powder Technology

Année:

2019

Langue:

english

Fichier:

PDF, 2.39 MB

english, 2019

48

Familial Clustering For Weakly-labeled Android Malware Using Hybrid Representation Learning

Zhang, Yanxin, Sui, Yulei, Pan, Shirui, Zheng, Zheng, Ning, Baodi, Tsang, Ivor, Zhou, Wanlei

Journal:

IEEE Transactions on Information Forensics and Security

Année:

2019

Langue:

english

Fichier:

PDF, 1.08 MB

english, 2019

49

Facile One-Step Hydrothermal Synthesis of Na3V2(PO4)2F3@C/CNTs Tetragonal Micro-Particles as High Performance Cathode Material for Na-Ion Batteries

Guo, Hao, Hu, Yong, Zhang, Xiaoping, Zhang, Rongliang, Hou, Dong, Sui, Yulei, Wu, Ling

Journal:

Frontiers in Chemistry

Année:

2019

Fichier:

PDF, 2.69 MB

2019

50

MoS2 wrapped MOFs-derived N-doped carbon nanorods as an effective sulfur host for high-performance lithium-sulfur batteries

Zhang, Yong, Li, Ming, Zhong, Shengkui, Sui, Yulei, Zhang, Xiaoping, Li, Xinyu, Wu, Ling

Journal:

Ceramics International

Année:

2019

Langue:

english

Fichier:

PDF, 2.25 MB

english, 2019